On staying grounded and avoiding Quixotic dead ends

The 15 articles in this special issue on The Representation of Concepts illustrate the rich variety of theoretical positions and supporting research that characterize the area. Although much agreement exists among contributors, much disagreement exists as well, especially about the roles of grounding and abstraction in conceptual processing. I first review theoretical approaches raised in these articles that I believe are Quixotic dead ends, namely, approaches that are principled and inspired but likely to fail. In the process, I review various theories of amodal symbols, their distortions of grounded theories, and fallacies in the evidence used to support them. Incorporating further contributions across articles, I then sketch a theoretical approach that I believe is likely to be successful, which includes grounding, abstraction, flexibility, explaining classic conceptual phenomena, and making contact with real-world situations. This account further proposes that (1) a key element of grounding is neural reuse, (2) abstraction takes the forms of multimodal compression, distilled abstraction, and distributed linguistic representation (but not amodal symbols), and (3) flexible context-dependent representations are a hallmark of conceptual processing

Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study

Correctness of autonomous driving systems is crucial as\ua0incorrect behaviour may have catastrophic consequences. Many different\ua0hardware and software components (e.g. sensing, decision making, actuation,\ua0and control) interact to solve the autonomous driving task, leading to a level of complexity that brings new challenges for the formal verification\ua0community. Though formal verification has been used to prove\ua0correctness of software, there are significant challenges in transferring\ua0such techniques to an agile software development process and to ensure\ua0widespread industrial adoption. In the light of these challenges, the identification\ua0of appropriate formalisms, and consequently the right verification\ua0tools, has significant impact on addressing them. In this paper, we\ua0evaluate the application of different formal techniques from supervisory\ua0control theory, model checking, and deductive verification to verify existing\ua0decision and control software (in development) for an autonomous\ua0vehicle. We discuss how the verification objective differs with respect tothe choice of formalism and the level of formality that can be applied.\ua0Insights from the case study show a need for multiple formal methods to\ua0prove correctness, the difficulty to capture the right level of abstraction\ua0to model and specify the formal properties for the verification objectives

Sharing Space: The Presence of Other Bodies Extends the Space Judged as Near

Background: As social animals we share the space with other people. It is known that perceived extension of the peripersonal space (the reaching space) is affected by the implicit representation of our own and other's action potentialities. Our issue concerns whether the co-presence of a body in the scene influences our extrapersonal space (beyond reaching distance) categorization. Methodology/Principal Findings: We investigated, through 3D virtual scenes of a realistic environment, whether egocentric spatial categorization can be influenced by the presence of another human body (Exp. 1) and whether the effect is due to her action potentialities or simply to her human-like morphology (Exp. 2). Subjects were asked to judge the location ("Near" or "Far") of a target object located at different distances from their egocentric perspective. In Exp. 1, the judgment was given either in presence of a virtual avatar (Self-with-Other), or a non-corporeal object (Self-with-Object) or nothing (Self). In Exp. 2, the Self condition was replaced by a Self-with-Dummy condition, in which an inanimate body (a wooden dummy) was present. Mean Judgment Transition Thresholds (JTTs) were calculated for each subject in each experimental condition. Self-with-Other condition induced a significant extension of the space judged as "Near" as compared to both the Selfwith- Object condition and the Self condition. Such extension was observed also in Exp. 2 in the Self-with-Dummy condition. Results suggest that the presence of others impacts on our perception of extrapersonal space. This effect holds also when the other is a human-like wooden dummy, suggesting that structural and morphological shapes resembling human bodies are sufficient conditions for the effect to occur. Conclusions: The observed extension of the portion of space judged as near could represent a wider portion of "accessible" space, thus an advantage in the struggle to survive in presence of other potential competing individuals

Tracking Down Abstract Linguistic Meaning: Neural Correlates of Spatial Frame of Reference Ambiguities in Language

This functional magnetic resonance imaging (fMRI) study investigates a crucial parameter in spatial description, namely variants in the frame of reference chosen. Two frames of reference are available in European languages for the description of small-scale assemblages, namely the intrinsic (or object-oriented) frame and the relative (or egocentric) frame. We showed participants a sentence such as “the ball is in front of the man”, ambiguous between the two frames, and then a picture of a scene with a ball and a man – participants had to respond by indicating whether the picture did or did not match the sentence. There were two blocks, in which we induced each frame of reference by feedback. Thus for the crucial test items, participants saw exactly the same sentence and the same picture but now from one perspective, now the other. Using this method, we were able to precisely pinpoint the pattern of neural activation associated with each linguistic interpretation of the ambiguity, while holding the perceptual stimuli constant. Increased brain activity in bilateral parahippocampal gyrus was associated with the intrinsic frame of reference whereas increased activity in the right superior frontal gyrus and in the parietal lobe was observed for the relative frame of reference. The study is among the few to show a distinctive pattern of neural activation for an abstract yet specific semantic parameter in language. It shows with special clarity the nature of the neural substrate supporting each frame of spatial reference

Data provenance to audit compliance with privacy policy in the Internet of Things

Managing privacy in the IoT presents a significant challenge. We make the case that information obtained by auditing the flows of data can assist in demonstrating that the systems handling personal data satisfy regulatory and user requirements. Thus, components handling personal data should be audited to demonstrate that their actions comply with all such policies and requirements. A valuable side-effect of this approach is that such an auditing process will highlight areas where technical enforcement has been incompletely or incorrectly specified. There is a clear role for technical assistance in aligning privacy policy enforcement mechanisms with data protection regulations. The first step necessary in producing technology to accomplish this alignment is to gather evidence of data flows. We describe our work producing, representing and querying audit data and discuss outstanding challenges.Engineering and Applied Science

Symbolic Encryption with Pseudorandom Keys

We give an efficient decision procedure that, on input two (acyclic) cryptographic expressions making arbitrary use of an encryption scheme and a (length doubling) pseudorandom generator, determines (in polynomial time) if the two expressions produce computationally indistinguishable distributions for any pseudorandom generator and encryption scheme satisfying the standard security notions of pseudorandomness and indistinguishability under chosen plaintext attack. The procedure works by mapping each expression to a symbolic pattern that captures, in a fully abstract way, the information revealed by the expression to a computationally bounded observer. We then prove that if any two (possibly cyclic) expressions are mapped to the same pattern, then the associated distributions are indistinguishable. At the same time, if the expressions are mapped to different symbolic patterns and do not contain encryption cycles, there are secure pseudorandom generators and encryption schemes for which the two distributions can be distinguished with overwhelming advantage

Four Regional Marine Biodiversity Studies: Approaches and Contributions to Ecosystem-Based Management

We compare objectives and approaches of four regional studies of marine biodiversity: Gulf of Maine Area Census of Marine Life, Baltic Sea History of Marine Animal Populations, Great Barrier Reef Seabed Biodiversity Project, and Gulf of Mexico Biodiversity Project. Each program was designed as an "ecosystem" scale but was created independently and executed differently. Each lasted 8 to 10 years, including several years to refine program objectives, raise funding, and develop research networks. All resulted in improved baseline data and in new, or revised, data systems. Each contributed to the creation or evolution of interdisciplinary teams, and to regional, national, or international science-management linkages. To date, there have been differing extents of delivery and use of scientific information to and by management, with greatest integration by the program designed around specific management questions. We evaluate each research program's relative emphasis on three principal elements of biodiversity organization: composition, structure, and function. This approach is used to analyze existing ecosystem-wide biodiversity knowledge and to assess what is known and where gaps exist. In all four of these systems and studies, there is a relative paucity of investigation on functional elements of biodiversity, when compared with compositional and structural elements. This is symptomatic of the current state of the science. Substantial investment in understanding one or more biodiversity element(s) will allow issues to be addressed in a timely and more integrative fashion. Evaluating research needs and possible approaches across specific elements of biodiversity organization can facilitate planning of future studies and lead to more effective communication between scientists, managers, and stakeholders. Building a general approach that captures how various studies have focused on different biodiversity elements can also contribute to meta-analyses of worldwide experience in scientific research to support ecosystem-based management

Right hemisphere has the last laugh: neural dynamics of joke appreciation

Understanding a joke relies on semantic, mnemonic, inferential, and emotional contributions from multiple brain areas. Anatomically constrained magnetoencephalography (aMEG) combining high-density whole-head MEG with anatomical magnetic resonance imaging allowed us to estimate where the humor-specific brain activations occur and to understand their temporal sequence. Punch lines provided either funny, not funny (semantically congruent), or nonsensical (incongruent) replies to joke questions. Healthy subjects rated them as being funny or not funny. As expected, incongruous endings evoke the largest N400m in left-dominant temporo-prefrontal areas, due to integration difficulty. In contrast, funny punch lines evoke the smallest N400m during this initial lexical–semantic stage, consistent with their primed “surface congruity” with the setup question. In line with its sensitivity to ambiguity, the anteromedial prefrontal cortex may contribute to the subsequent “second take” processing, which, for jokes, presumably reflects detection of a clever “twist” contained in the funny punch lines. Joke-selective activity simultaneously emerges in the right prefrontal cortex, which may lead an extended bilateral temporo-frontal network in establishing the distant unexpected creative coherence between the punch line and the setup. This progression from an initially promising but misleading integration from left frontotemporal associations, to medial prefrontal ambiguity evaluation and right prefrontal reprocessing, may reflect the essential tension and resolution underlying humor

Dutch modality exclusivity norms : Simulating perceptual modality in space

Perceptual information is important for the meaning of nouns. We present modality exclusivity norms for 485 Dutch nouns rated on visual, auditory, haptic, gustatory, and olfactory associations. We found these nouns are highly multimodal. They were rated most dominant in vision, and least in olfaction. A factor analysis identified two main dimensions: one loaded strongly on olfaction and gustation (reflecting joint involvement in flavor), and a second loaded strongly on vision and touch (reflecting joint involvement in manipulable objects). In a second study, we validated the ratings with similarity judgments. As expected, words from the same dominant modality were rated more similar than words from different dominant modalities; but - more importantly - this effect was enhanced when word pairs had high modality strength ratings. We further demonstrated the utility of our ratings by investigating whether perceptual modalities are differentially experienced in space, in a third study. Nouns were categorized into their dominant modality and used in a lexical decision experiment where the spatial position of words was either in proximal or distal space. We found words dominant in olfaction were processed faster in proximal than distal space compared to the other modalities, suggesting olfactory information is mentally simulated as "close" to the body. Finally, we collected ratings of emotion (valence, dominance, and arousal) to assess its role in perceptual space simulation, but the valence did not explain the data. So, words are processed differently depending on their perceptual associations, and strength of association is captured by modality exclusivity ratings